add_header_library(
  nvptx_timing
  HDRS
    timing.h
  DEPENDS
    libc.src.__support.common
    libc.src.__support.macros.config
    libc.src.__support.macros.attributes
    libc.src.__support.CPP.type_traits
    libc.src.__support.CPP.array
)
